English automated transformation of formal specifications into silicon software: 其他语言的译文